Mon{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	Mon
Definitions	P & Q, Mon, t  T, , x:A. B(x)
Lemmas	grp eq wf, eqfun p wf, grp id wf, grp op wf, grp car wf, monoid p wf, grp sig wf